Modeling and Implementing Knowledge-based Protocols
نویسنده
چکیده
Many important patterns in the design and analysis of protocols can be interpreted in terms of knowledge. For example, proving that a process cannot perform a particular action at a point in time. Such proofs typically involve reasoning about points in time that a process cannot distinguish between, and these points can be used to characterize the process’ knowledge. We survey the use of knowledge in protocol design and analysis, in relation to two questions. First, we consider the question of representing what processes know. This involves describing what a single process knows, what groups of processes know, what processes know that others know and what is common knowledge. And, all this changes with time and communication. We review an influential definition of common knowledge in terms of epistemic reachability and its application to an analysis of Byzantine agreement. Second, we examine what a process can do with knowledge. Two frameworks are considered: knowledge-based programs and dynamic epistemic logics. A knowledgebased program describes a process that conditions its actions based on knowledge, e.g., “if I don’t know whether she has received the message, resend”. Knowledgebased programs are general but abstract descriptions of processes, i.e., the knowledge of a process and how it changes is determined by an externally specified or synthesized interpretation. Dynamic epistemic logics are useful in more specialized settings where a process has incomplete knowledge of a situation and acquires information via communicative acts. We review some of the positive and negative results under these paradigms, and the current trends.
منابع مشابه
Modeling of VANET Technology & Ad-Hoc Routing Protocols Based on High Performance Random Waypoint Models
Today, one of the new technologies in the modern era is Vehicular Ad-hoc Network which has takenenormous attention in the recent years. Because of rapid topology changing and frequent disconnectionmakes it difficult to design an efficient routing protocol for routing data between vehicles, called V2V orvehicle to vehicle communication and vehicle to roadside infrastructure, called V2I. Designin...
متن کاملبررسی تاثیر اجرای نظام پیشنهادها بر یادگیری سازمانی
The purpose of this paper is to study of the casual effect of implementing sug-gestions system on three major aspects of organizational learning known as knowledge acquisition, knowledge distribution and knowledge utilization. Since organizational learning is becoming more important in the world of knowledge-based businesses, managers are more interested to know which management systems & proce...
متن کاملارائه الگوی پیشنهادی اشتراک دانش درون سازمانی میان اعضای هیأت علمی بر مبنای عوامل فردی، سازمانی و فنی
Introduction: Nowadays, knowledge sharing has become a source of gaining competitive advantage. The purpose of this paper is the identification and authentication of factors influencing intra-organizational knowledge sharing as well as proposing a model of knowledge sharing among faculty members engaged in medicine in universities and research centers. Methods : The present study was based ...
متن کاملX-KIF – New Knowledge Modeling Language
This paper proposes X-KIF – a new modeling language intended for implementing large, formal knowledge bases. The language originated from the SUO-KIF language, which has been used for implementing a large family of ontologies based on the Suggested Upper Merged Ontology (SUMO). We address some of the problems with the SUO-KIF language, and try to formally define the semantics of some higher-ord...
متن کاملThe Effect of Entrepreneural orientation and Market orientation on Market performance of knowledge-based Companies with Mediating Role of Marketing Capability and Marketing Effectiveness
To achieve the desired market performance in the current competitive market and survive in this turbulent arena require appropriate orientations by companies. The use of entrepreneurial orientation and market orientation approaches in this area can be effective. Companies, especially knowledge-based companies, should obtain appropriate market share in a competitive market by applying marketing ...
متن کاملPartial Knowledge in Multiple-Choice Testing
The intent of this study was to discover the nature of (partial) knowledge as estimated by the multiple-choice (MC) test method. An MC test of vocabulary, including 20 items, was given to 10 participants. Each examinee was required to think aloud while focusing on each item before and while making a response. After each test taker was done with each item, s/he was ...
متن کامل